My main takeaway is you guys have a database (even if imperfect) for this. Here in the US we only have GasBuddy which is purely a crowdsourced best-effort thing. Problem is it’s tough to tell at a glance if a bunch of prices are equally old or if only some have been updated today. If some are stale and others fresh, pretty tough to even use the data.