Dude, seriously? It's $9 fucking dollars between friends. Let it go. Should he pay you the $9 bucks? Yeah. Is it worth busting his balls over $9? No. Maybe someday you'll need help with something and he'll be there for you.
If this is the biggest problem you have in life, then you have it quite easy my friend. There are bigger fish to fry.