“Using these new commercially available superconductors, rare-earth barium copper oxide (REBCO) superconducting tapes, to produce high-magnetic field coils just ripples through the whole design.”
Damn, why didn’t I think of that!!
Well, as soon as the actually make one, you can figure out how to shrink it even further.................