Thank you for the reply, I thought of that as well. The issue is that the Pi is installed in a location where it is available to the public (and the whole point is to encourage members of the public to use it), so we don't have any control over end users' host files.