Wasn't an ivory imported? I don't remember hearing about yellow bellies before that. There was a rumor that it cost $150K.