Good point, `buyer_has_pin` doesn't look to be used anymore. I'll remove it.