I've bought a number of guns from WLM and always found them to be reasonable to deal with. They are trying to make a profit (all 3 of them!), but normally will take 10-15% below asking price. Is it worth $7000...? Up to you.