Recording drums in a treated project room with mostly ribbon mics

Preparing to record a full length this year and have limited experience recording drums. We have access to some great microphones (mostly ribbons) and a fairly well-treated, albeit small, room (16' x 10'). We have 8 channels available and an additional 1k of budget for mics.

We're aiming for a laid-back drum sound, slightly subdued... references include Father John Misty, War on Drugs, Fleetwood Mac, Kruangbin... In terms of mixing, the drums will sit back and vocals / guitars will be up front.

We have access to the following mics:

- AEA R84 (x2)
- Rm BIV-1 (x2)
- Soyuz 017, Tube LDC
- Line Audio cm3, small condensors (x2)
- sm57 (x4)

Would a couple Sennheiser 421's for the snare and/or toms seal the deal? Very much open to ideas about which mics to use where, as well. Tremendously grateful for any feedback... feeling pretty overwhelmed but we have a couple months to prepare.

Thanks in advance!!