That would mean 11,500 US dollars.

Right, and he uses that funny comma rather than a period (like the rest
of the world) :-).

Tony V.