Joy Gasverdichter (WB Serie), Gas Booster Verdichter (WBF Serie)