Tried it. It compiles fine with the Not statement in there, but it still says anything between 700 and 750 is on the upper floor, which is incorrect.
I think I could change the case to something like 500 to 699, Is > 751 and it'd probably work, but I'd rather figure out how to do it this way...