I had that one go bad on me during my 2011-2012 trip.. ended up driving over 100 miles to get a replacement one.
Now I've got one as a spare part. hmm now that I think about it I'm not going to plan any more vacations for that time of the year... 11-12 trip toilet valve went bad, 12-13 trip cut off toe.. I'd rather replace valve than hosp. trip.