Well...It is a crap shoot. Glyphosate is a contact herbicide without residual ground effect. So, plants have to be green and actively growing for it to work. Imazapyr is the ingredient in RM43 that has the lasting effect. The concentration in RM43 is a lot lower than in some other products. So, if he waits until fall, and happens to be lucky in the crop he chooses, he may be ok. But, it would be a crap shoot. Both are non-selective herbicides, but that is in a general sense. There are always some kinds of plants that will be resistant to any particular herbicide.
If it were me, I would wait until next spring to invest in planting. I would mow the dead vegetation so it can desiccate. This fall, when evenings are started to get cool, I'd scratch up the top inch of soil. There may be some native forbs that germinate for fall, but depending on how much Imazapyr was applied, he may get nothing. Don't worry.
The tough part will be to get him to wait. I'd wait until next spring. I'd wait until the soil temp (not air temp) hits at least 70 degrees. Hopefully you will see weeds by then. Soil thermometers are cheap. You take the soil temp by pushing the probe an inch or two into the soil around 8:00 am. If you are seeing weeds, I'd spray with gly (not RM43) and plant buckwheat and at a high seeding rate. I'd just broadcast and cultipack. If you don't see weeds growing by the time your soil hit 70 degrees, I'd wait for 80 degrees.
Buckwheat will germinate at pretty low soil temps, but I find if you plant then, you get a stunted lethargic crop. The optimal soil temp for buckwheat to germinate is 80 degrees. In my area (zone 7a) you can plant buckwheat up until about the 4th of July. Probably later further north. Then, next fall, have him broadcast a perennial clover with a winter rye nurse crop. If he has a 3/4 acre field have him use 100 lbs of WR and 7 to 8 lbs of perennial clover.
Broadcast it while the Buckwheat is standing. Then cultipack. If he doesn't have a cultipacker, just mow the buckwheat so it falls on the seed. Running over the seed with ATV tires or tractor tires will press it into the soil like a cultipacker.
Good luck,
Jack