I've got several homemade variable DC supplies,
but they are all limited to 1.5A output which would be exceeded with just three 5BK7A
filaments @ 600mA each.
An old filament transformer would solve all your problems in this
area. Not expensive.
--
Will