The toll was significantly higher -- this is from a 2017 BBC article [0]:
The Chinese army crackdown on the 1989 Tiananmen Square protests killed at least 10,000 people, according to newly released UK documents.
The figure was given in a secret diplomatic cable from then British ambassador to China, Sir Alan Donald.
The original source was a friend of a member of China's State Council, the envoy says.