Absolutely ask them to fix it if you are sure it happened there. The dent looks to be perfect for PDR, and the chip can be touched up pretty easy (although it will probably look worse if they do it...I would just handle that one on your own).
__________________
Current: 2024 BMW M3 Competition xDrive | 2022 Audi Q7
Gone: 2022 Audi RS5 | 2020 BMW M340i | 2019 Audi RS5
|