Onan Generator 5500 Gold Fuel Pum

$900 for a Onan 5500 Marques Gold generator fuel pump installed in a 2007 motorhome, is this reasonable? This is at a Cummins dealer/shop, they diagnosed the problem as well.