This is one of the most brilliant ideas I have ever heard of.

3b) If there is a restaurant of a different name on the appointed location, we eat there anyway, subject to Rules 2) and 3a) above. Technically, we are, in fact, filling up at Harvey's.

3c) If, however, there is such a restaurant (different name, right location), and the beer sign is bigger and/or brighter than the restaurant sign, then and only then do we have the option of filling up at Harvey's elsewhere.

4) "Filling up at Harvey's" is a generic term for going to any (usually nearby) restaurant other than the Official Destination. We have yet to "fill up at Harvey's" at Harvey's.