I posted this on another forum and have 20 views with no replies (I guess no one has an opinion to express over there) Anyone here have some advice or thoughts?

My wife and I will be going to Cherokee for a few days in May and our resources are limited in that she has a 4 wt and I have both a 5wt and 7 wt.

Presuming she sticks with her 4 wt.... What tippet size should we go with? I was thinking a 4x floro but I've never fished those waters. She is using a 5 ft uni-thread furled leader but we can switch to a floro leader if we need to. Is the 4wt asking for too much from her and should I just give her my 5 wt and me fish the 7wt?