JBOSS版本问题

各位兄弟，最近有家公司给我们开发系统，用的是JBOSS，但是他们说他们是JBOSS4.3的版本，我在
www.Jboss.org 上下载的时候发现4.2版本上面就是5.0了，根本没有什么4.3之类的东西
我怀疑是不是JS 在忽悠我们，把自己在上面做的开发说成是JBOSS 的东西，然后和JBOSS打包一起卖给我们，说让我们用正版

请问：JBOSS的销售是怎么样的一个方式，好像REDHAT，我们就这么安装就可以了，顶多是买一个REDHAT的技术支持