look at the terminals if you need confirmation.If I'm not mistaken, isn't the WCC 2500D an Orion 1200D? And isn't the WCC 5000D an Orion 2500D? So he may have said orion 2500, but meant WCC 2500, which is actually an Orion 1200.
Hope that made sense.