I ended up paying $500 for my set of ecc32. That was through a private source so I would imagine they would be more through shops. I saw some a couple of weeks ago on ebay going for about $400.
I have better luck buying tubes on ebay than anywhere else. The tubes have always been nos (that I can tell) and cheaper than anywhere else. The good tubes tend to go in streaks. Check ebay, audiogon, etc everyday and you will find what you want eventually. What I cant find today, next month I will be able to find 10 of them.
On another note, I think the tung-sol BPRG is over rated.They are fast and detailed and neutral from top to bottom, but they lack any richness or warmth making them boring. If you want a solid state amp sound, than this is the tube for you. If you want a rich, textured, or warm, sound, then you better look elsewhere.