$4k flat with delivery, few boxes of spares etc. Not THE best deal I know, but after being offered a few others for not much less money that were in shocking condition, I grabbed it. I noticed a few globes went out last night. Rang Joe this morning, here was here 20 minutes later and fixed it up, looks like they had dry contacts. Overall, I'm very happy 

not a bad price from a dealer. especialy if he has come out free of charge and repaired it for you.
just think if you had bought one of the cheaper pins and you had the same problem and you couldn't fix it yourself, you would pay the difference in repairs.