Patur: He says that all the hochachos against it from the kuntrus stand strong and doesn’t really leave an “if” in the balance before laying bal tosif on it as far as I understand – but yes seemingly the t’nai would work (even though it really seems likely he’s completely sholel the option that it is techeiles)
In any case l’inyaneinu – HaRav Yisroel Mishklov in the hakdama to Peas HaShulchan that the Biur HaGra pushes off the concerns the Maharsha had since anyone who learns it can be medakdek in the sugyos and shittos.
pixelate: When the Aruch HaShulchan and Mishna Berura give two different psaks what do you do?