è un po' quello che ho pensato anch'io ... non so esattamente qual'è quotazione media di un mark VII, ma non credo arrivi a 4000.
probabilmente lo stesso lavoro lo puoi fare a un prezzo inferiore da un riparatore meno top che ti farebbe un lavoro comunque funzionante a un prezzo inferiore...