I think it's more 420 or 4:20 (marijuana reference) than 4/20 (Hitler's birthday).

Although given it's Musk, others may disagree.