Maybe thinking too simple here but:
 Code:
If Left(@WKSTA,6) = "VA-CTX" AND CInt(Right(@WKSTA,3)) < 1000
  ;Do Stuff
EndIf