If I recall mine cost me $575 USD at time and it was one of the 'cheaper' ones. But I don't regret one penny of it. It was a solid performer and Ozk now has that card as well. So it's in good hands.
Wow 18 machines. I barely have room for my 2 Atari's, can't imagine that many.