MK Big thunder mountain and buzz Lightyear opening dates

[Big Thunderin’ mountain]

Hi, I’m planning a trip for Florida around late may/early June and I know big thunder and buzz are both down for massive refurbs but are scheduled to open spring 2026. So I was wondering if anyone knows if Disney typically counts early June as spring (very dumb question I’m sure). I would figure they would be open, at least big thunder, around spring break but I’m not sure. I know the muppet rock ‘n’ rollercoaster will not be open (probably around august) but I just need the know if we think buzz and btm will be open by then.

Thanks in advance
-Big Thunderin’ Mountain