Dustin collects football cards.

He sells some of his cards. The prices are listed here.

$3, $5, $5, $8, $8, $10, $10, $10, $40

What is their mean (average) price?