How much would Johnny’s gun cost to make in real life?