@PeteS -
@Jambrains is right, that would work well, the MIDI data is very lightweight and you can use a wav of the current mix and a clicktrack to record the drums MIDI separately, then whack it into BFD3 or similar....but here's another way that I use...
The issue with using a digital kit to record midi is latency, even a little delay is enough to make it impossible to play. There ways around it from Firewire/PCIe interfaces, to tiny ASIO buffers, to monitoring tricks.
This all sounds so familiar...I use Windows, and have a Yamaha DTxtreme IIIs. I love the sound of the Yamaha kit, it really is a dream to play and record with.
https://www.musicradar.com/reviews/drums/yamaha-dtxtreme-iii-special-150397I route the individual audio outs from the kit to a Behringer ADA8200
https://www.behringer.com/Categories/Behringer/Computer-Audio/Interfaces/ADA8200/p/P0ATL#googtrans(en|en)This is wonderful, it connects to my UM1820 using ADAT, effectively giving me the full 20 mic / instrument inputs into my DAW. I use a multicore cable to connect the drum outputs to the instrument inputs of the ADA8200, it's just a bit neater that's all. (I can use it as a mic pre it has 48v too - on all inputs)
This is probably the best solution for me as I like the 'feel' of the kit, and sound of the drums.
On the down side, it's not as flexible as MIDI, it's a bit more work moving things about, quantizing slips, and as Jambrains says, you can choose a different kit in your MIDI drumming library if you want.
If you want any more info, just contact me. Hope this helps.