I don't know... even the radio and plug wires are stock...
Someone will pay 10,500, no doubt in my mind, so, offering 7500 is a bit jackolantern in my book. Let's be honest, 10,500 is not much money when looking at car prices today, and to find a 5.0 that is stock (reliable) is getting harder...