Ah, OK, if it's already used elsewhere then I guess it's fine.