Canon R5 with box papers and rf50mm f1.8 lens and extras

Selling my Canon R5 with RF 50mm f1.8 lens. Camera was used for indoor events and has a shutter count of approx 8000, hence pretty much brand new. Also including 5 spare LPE6N batteries worth 400euros. Camera was bought in Whelans camera in Limerick and comes with receipt and box papers.

Canon R5 specs:

Highlights
45MP Full-Frame CMOS Sensor
DIGIC X Image Processor
8K30 Raw and 4K120 10-Bit Internal Video
400MP In-Camera Files with No Software
Sensor-Shift 5-Axis Image Stabilization
12 fps Mech. Shutter, 20 fps E. Shutter
Dual Pixel CMOS AF II with 1053 Points
3.2" Vari-Angle Touchscreen LCD
Subject Tracking with Deep Learning
CFexpress & SD UHS-II Memory Card Slots
Features
High-Resolution Versatility
For the professional image-maker who needs resolution, speed, and video capabilities, the Canon EOS R5 full-frame mirrorless camera features a newly developed 45MP CMOS sensor, which offers 8K raw video recording, 12 fps continuous shooting with a mechanical shutter, and is the first EOS camera to feature 5-axis sensor-shift image stabilization.

Also keen to swap for a Sony A7r V in a similar condition. Open to negotiation.