there are a ton of places that will sell you belts for that car.
that belt is not 477 teeth! it is likely 477mm long with a 3mm pitch length. 477/3= 159t.
try these links. the only problem is that most of these guys have a $25 minimum. but the belts are like 3 or 4 dollars. no lie.
(awesome customer service)
(great technical site)
some of these guys will even cut them to custom widths for ya.
give it a shot.