Pompa benzina

Ciao a tutti e buon anno.
Vi chiedevo un'informazione, sul mio e39 520i si è rotta la pompa della benzina, lunedì la macchina và in officina,il mio meccanico non è ufficiale bmw,mi ha chiesto per la pompa 250 euro,secondo voi siamo nella media?