You're probably right about using an array.

Btw, I might be wrong, but I think it's not $USER but $HOSTNAME that ends up being used. But it's the same issue anyway: it's less unique than $USER@$HOSTNAME :-)