I read your posts on replacing that solenoid. It was as simple (or cheap) as your short post would seem it to be was it? Or have I just not had any coffee this moring?