Red *is* good luck, after all.