With Inbound port mapping, it is not passible to forward the same port, on the same ip address to more then one destination. If you want to open port 9000 to "all" of the systems on the inside network from the outside, you can not.
If the workstation port needs to be 9000, fine. Add multiple IP addresses to the external interface and map one to one, or select a diferent port on the outside, to map to each 9000 port on the inside. Like this:
If external address is 200.200.200.200
Internal address range is 100.100.100.100 - 100.100.100.200
I could map
200.200.200.200 port 8000 to 100.100.100.101 port 9000
200.200.200.200 port 8002 to 100.100.100.102 port 9000
200.200.200.200 port 8003 to 100.100.100.103 port 9000
200.200.200.200 port 8004 to 100.100.100.104 port 9000
200.200.200.200 port 8005 to 100.100.100.105 port 9000
And so on ...
I hope this makes the possibilities clearer to you.
Regards,
Bob