Has anyone heard of anyone running a GIDE ( KC-Club.GIDE-Interface ) board with the TRS-80 Model 4 family?

The board will install as the Model 4's use a Z80, however a suitable driver is the issue as per using GIDE's in most of Z80 based systems.