Exactly. On the bright side they can't pay those coins on the 1.3.1 chain so it would be pretty much their own problem. Still if people buy there thinking to get 1.3.1 coins only to later realize they can't withdraw it won't be good for yentens public image.