I would hate to be the test case but I wouldn't think one cup in a full tank of fuel would have any ill effect. Easy for me to make that statement, I really don't know what I'd do if it happened to me. The water separator filter should filter it out.....I think.
I suppose I'd pose the query on the RV.net list like you did and get a consensus from the forum.