my suggestion to you is to insist that the one quad tube set that is not fully biasing to 130 ma be immediately replaced with a fresh set that can bias properly by the repair shop ... as @jea48 said, the tubes will definitely need more bias current over time as you use the amp going forward, it is not good that as ’new’ tubes they already are asking the amplifier to supply 100% of available bias current - this is not good for the amp
that set of jj tubes is simply not strong enough, not working to proper spec for this amp, and if you just paid for service and fresh tubes, that particular set of tubes that were sold to you are inadequate
in my experience with this amp, using various russian 6550 or kt88 tube sets (sovtek, svetlana. gold lion, e-h), to obtain proper bias current into the power tubes, the bias trim pot is only at 40-50% of its adjustment range when a fresh set of tubes are installed