Как менять размер детали из кода в Roblox (Size и Vector3)?

Размер детали — это свойство Size, и оно типа Vector3 (три числа: ширина, высота, глубина по осям X, Y, Z):

local part = workspace.Platform
part.Size = Vector3.new(10, 1, 10)  -- широкая тонкая платформа

Чтобы плавно уменьшать в цикле:

while part.Size.X > 1 do
    part.Size = part.Size - Vector3.new(0.5, 0, 0.5)
    task.wait(0.2)
end

Нюанс: Size нельзя поменять "по кусочку" вроде part.Size.X = 5 — это не сработает (Vector3 неизменяемый). Нужно присвоить целиком новый Vector3, как выше. Это частая ошибка новичков.