If the default is $10, he would have to have deleted the $10 and typed in $5, to know for the future. I don't know about the rest of it, though.
The default is indeed 5$. So I'm not sure why it charged him twice
