It was a long time ago - maybe 2008 - so I don't really recall. We called what seemed most likely to be technical support, and they had no freakin' idea what we were talking about.