PUMP OEM was WH23X42 LP112 8100-342. Full Warranty. This part is also known as: LP112, GEHWH23X42R, GEHWH23X42, WH23X42, WH23X42R, 8100-342. Model(s) listed below.
eBay