I have noticed though that the figures for your Scottish place of abode in the south of Edinburgh are quite interesting though.
I looked on the website for Swanston weather station which is your closest weather station up here to see what impacts yesterday's events would have been there.
As I write, that still hasn't been fully updated to include that and only goes up to 9am on yesterday morning. However, I have noticed that another major rain event was picked up on 12 June 2019 which I missed out on here in the north of Edinburgh, and which therefore wasn't picked up at either Edinburgh Gogarbank or the botanic gardens in Edinburgh.
What I noticed was that a total of 42.0 mm of rain was recorded for Swanston on 12 June 2019 which meant that the total for this month as at 9am yesterday morning was 102.4 mm.
Just recently, noodledoodle has been standing in for you in the south of Edinburgh in your absence, and he was saying that it was actually the west of Edinburgh which was the most badly hit by yesterday's event. That would have accounted for the exceptionally high rainfall total for Edinburgh Gogarbank which I reported for yesterday and since the west of Edinburgh also includes that NW corner of Edinburgh where I live, that would have accounted for those real monsoon-like conditions which I witnessed where I live.
Further east within Edinburgh though, it was a different story which then meant that relatively little in the way of rainfall was recorded at the botanic gardens in Edinburgh despite the fact that it is actually the closest station to where I live.
However, it is going to interesting to see what the totals for Swanston come out like once that data is updated to include yesterday's events. If I was to make a rash guess about that though, I would expect that total to be quite high since Swanston isn't far from Fairmilehead and lies more towards the SW of Edinburgh, and other locations within SW Edinburgh such as Murrayburn also recorded some very high rainfall totals for yesterday.