Three different device names might be a bit overkill.