when they say pip-boy but his name is vault boy