They left the flushometer, that has to be worth a few $100K.